Definable Representations of Definable C Groups
نویسنده
چکیده
Let G be a compact affine definable C group and let r be∞ or ω. We prove that the representative definable C functions on G is dense in the space of continuous functions on G. Moreover we compare the category of compact affine definable C groups D with that of compact real algebraic groups A.
منابع مشابه
Type-definable groups in C-minimal structures
This paper studies type-definable groups in C-minimal structures. We show first for some of these groups, that they contain a cone which is a subgroup. This result will be applied to show that in any geometric locally modular non trivial C-minimal structure, there is a definable infinite C-minimal group.
متن کاملLinear representations of soluble groups of finite Morley rank
Sufficient conditions are given for groups of finite Morley rank having non-trivial torsion-free nilpotent normal subgroups to have linear representations with small kernels. In particular, centreless connected soluble groups of finite Morley rank with torsion-free Fitting subgroups have faithful linear representations. On the way, using a notion of definable weight space, we prove that certain...
متن کاملGroups Definable in O-minimal Structures
In this series of lectures, we will a) introduce the basics of ominimality, b) describe the manifold topology of groups definable in o-minimal structures, and c) present a structure theorem for the special case of semi-linear groups, exemplifying their relation with real Lie groups. The structure of these lectures is as follows: (1) Basics of o-minimality: definition, Cell Decomposition Theorem...
متن کاملA definable Borsuk-Ulam type theorem
Let N = (R,+, ·, <, . . . ) be an o-minimal expansion of the standard structure of a real closed field R. A definably compact definable group G is a definable Borsuk-Ulam group if there exists an isovariant definable map f : V → W between representations of G, then dimV − dimV G ≤ dimW − dimW. We prove that if a finite group G satisfies the prime condition, then G is a definable Borsuk-Ulam gro...
متن کاملA Growth Dichotomy for O-minimal Expansions of Ordered Groups
Let R be an o-minimal expansion of a divisible ordered abelian group (R, <, +, 0, 1) with a distinguished positive element 1. Then the following dichotomy holds: Either there is a 0-definable binary operation · such that (R, <, +, ·, 0, 1) is an ordered real closed field; or, for every definable function f : R → R there exists a 0-definable λ ∈ {0} ∪ Aut(R, +) with limx→+∞[f(x) − λ(x)] ∈ R. Thi...
متن کامل